basic fuzzy logicの例文

• The traditional numbering of axioms, given in the left column, is derived from the numbering of axioms of H醞ek's basic fuzzy logic BL . The axioms ( MTL4a )  ( MTL4c ) replace the axiom of " divisibility " ( BL4 ) of BL . The axioms ( MTL5a ) and ( MTL5b ) express the law of residuation and the axiom ( MTL6 ) corresponds to the condition of prelinearity.